{-# LANGUAGE OverloadedStrings #-}

import Control.Applicative hiding (some)
import Data.String (String)
import Data.Void
import Test.Hspec
import Test.Hspec.Megaparsec
import Text.Megaparsec
import Text.Megaparsec.Char
import Protolude

type Parser = Parsec Void String

main :: IO ()
main = hspec $ do
  describe "" $ do
    it "" $ do
      head [23 ..] `shouldBe` (23 :: Int)

-- [typGrp|
--     Dog dev Show Eq Generic
--       name Text DogA DogC
--       master Text? DogA DogB?
--       age Int DogA DogB?
--       hobby (Maybe Text)? DogC? DogB
--       color Text DogB DogC
    
--     Cat dev Show Eq Generic
--       name Text CatA CatC
--       master Text? CatA CatB?
--       age Int CatA CatB?
--       hobby (Maybe Text)? CatC? CatB
--       color Text CatB CatC
--   |]

